<?php
/**
 * Created by excalibur
 * User: Yang Renqing
 * Email: yangrenqing@ihappy.net.cn
 * Date: 2019/8/14
 * Time: 4:20 PM
 */

$start = microtime(true);

$list = array();
$max = 1370000;
for ($i = 1; $i <= $max; $i++) {
    $list[] = $i;
}
shuffle($list);

file_put_contents('./137.txt', implode(PHP_EOL, $list));

$elapsed = microtime(true) - $start;
echo "That took $elapsed seconds.\n";

